$\vdash$  True $\in$ $\mathbb{P}_{1}$